ePMC

Benchmark
Model:mapk_cascade v.1 (CTMC)
Parameter(s)N = 4, T = 30
Property:activated_time (exp-reward)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files mapk_cascade.prism --model-input-type prism --property-input-files mapk_cascade.props --property-input-names activated_time --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const N=4,T=30
Execution
Walltime:12.494310855865479s
Return code:0
Relative Error:5.881944046153631e-05
Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property activated_time
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 12252 12252
build-model-states-explored 29850 17598
build-model-states-explored 46870 17020
build-model-states-explored 63545 16675
build-model-states-explored 80040 16495
build-model-states-explored 97100 17060
build-model-done 99535 6
iterating
iterating-progress-unbounded 360 5.661758348543256E-4 1
iterating-progress-unbounded 752 2.3301385378158834E-5 2
iterating-progress-unbounded 1143 1.02967948319107E-6 3
iterating-done 1235 3
model-checking-done 11
command-check-result-is 40.6741104267862 activated_time